501. Logic and its applications :
پدیدآورنده : Mohua Banerjee, Anil Seth (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information theory, Congresses.,Logic, Symbolic and mathematical, Congresses.
502. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده : Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
503. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
504. Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings
پدیدآورنده : A.R. Meyer, M.A. Taitslin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
363
505. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
506. Logic-based program synthesis and transformation
پدیدآورنده : Elvira Albert (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
507. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
508. Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
پدیدآورنده : Sandro Etalle )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3573
509. Logic based program synthesis and transformation :11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
پدیدآورنده : Alberto Pettorossi, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2372
510. Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
پدیدآورنده : Pierre Flener )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1559
511. Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
پدیدآورنده : Annalisa Bossi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1817
512. Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
پدیدآورنده : Maurice Bruynooghe )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3018
513. Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
پدیدآورنده : Kung-Kiu Lau )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2042
514. Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings
پدیدآورنده : Michael Leuschel )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2664
515. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
516. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده : Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
517. Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده : Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Informatique.,Logic programming -- Congresses.,Logic programming.
518. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850
519. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
520. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
